Given
H
≤
G
, the number of distinct left
cosets
of
H
in
G
.